-
1 deductively equivalent
Большой англо-русский и русско-английский словарь > deductively equivalent
-
2 deductively equivalent
Математика: дедуктивно эквивалентныйУниверсальный англо-русский словарь > deductively equivalent
-
3 deductively equivalent
English-Russian scientific dictionary > deductively equivalent
-
4 deductively
дедуктивно deductively closed theor ≈ дедуктивно замкнутая теория deductively consistent set ≈ дедуктивно совместное [дедуктивно непротиворечивое] множество deductively inconsistent set ≈ дедуктивно несовместное [дедуктивно противоречивое] множество - deductively complete - deductively connected - deductively consistent - deductively equivalent - deductively found - deductively hereditary - deductively valid дедуктивно, способом дедукцииБольшой англо-русский и русско-английский словарь > deductively
-
5 equivalent
1) эквивалент || эквивалентный, равнозначный2) геом. равновеликий3) равнозначный; равноправный4) равносильный; равноценный• -
6 дедуктивно эквивалентный
Русско-английский научно-технический словарь Масловского > дедуктивно эквивалентный
-
7 дедуктивно эквивалентный
Большой англо-русский и русско-английский словарь > дедуктивно эквивалентный
-
8 дедуктивно эквивалентный
Mathematics: deductively equivalentУниверсальный русско-английский словарь > дедуктивно эквивалентный
-
9 set
1) набор; комплект- semiconductor assembly set - set of Belleville springs - set of conventional set - set of drawing instruments - set of gate patterns - set of gauge blocks - set of logical elements - set of statistical data - set of technical aids- snap set2) партия3) совокупность; множество4) установка; агрегат- desk telephone set - dial telephone set- gear set- local-battery telephone set - man-pack radio set - multi-operator welding set - sound-powered telephone set - wall telephone set5) регулировка; настройка || регулировать; настраивать6) группа; ансамбль7) класс; семейство9) схватывание || схватываться10) затвердевание || затвердевать11) крепление || закреплять12) геол. свита пород13) осадка (грунта) || оседать ( о грунте)14) радиоточка15) спорт сет16) включать, приводить в действие17) мат. множествоset closed under operation — множество, замкнутое относительно операции
- absolutely compact set - absolutely continuous set - absolutely convex set - absolutely irreducible set - absolutely measurable set - affinely independent set - affinely invariant set - algebraically independent set - almost finite set - almost full set - angular cluster set - asymptotically indecomposable set - at most denumerable set - centro-symmetric set - completely bounded set - completely continuous set - completely generating set - completely improper set - completely irreducible set - completely nonatomic set - completely normal set - completely ordered set - completely productive set - completely reducible set - completely separable set - constructively nonrecursive set - convexly independent set - countably infinite setto set aside — не учитывать, не принимать во внимание; откладывать
- cut set- cyclically ordered set - deductively inconsistent set - derived set - doubly well-ordered set - dual set of equations - dynamically disconnected set - effectively enumerable set - effectively generating set - effectively nonrecursive set - effectively simple set - enumeration reducible set - finely perfect set - finitely definite set - finitely measurable set- flat set- full set- fully reducible set - functionally closed set - functionally complete set - functionally open set - fundamental probability set - generalized almost periodic set- goal set- internally stable set- knot set- left directed set - left normal set - left-hand cluster set - linearly ordered set - local peak set - locally arcwise set - locally closed set - locally compact set - locally connected set - locally contractible set - locally convex set - locally finite set - locally invariant set - locally negligible set - locally null set - locally polar set - locally polyhedral set - metrically bounded set - metrically dense set - multiply ordered set - nearly analytic set - nearly closed set - nonvoid set - normally ordered set- null set- open in rays set - partitioned data set- peak set- pole set- positively homothetic set- pure set- radially open set - rationally independent set - recursively creative set - recursively indecomposable set - recursively isomorphic set - recursively productive set - regularly convex set - regularly situated sets - relatively closed set - relatively compact set - relatively dense set - relatively interpretable set - relatively open set - right normal set - right-hand cluster set- scar set- sequentially complete set - serially ordered set - set of elementary events - set of first category - set of first kind - set of first species - set of possible outcomes - set of probability null - set of second category - set of second species - shift invariant set - simply connected set - simply ordered set - simply transitive set- skew set- star set- strongly bounded set - strongly closed set - strongly compact set - strongly connected set - strongly convex set - strongly dependent set - strongly disjoint sets - strongly enumerable set - strongly independent set - strongly minimal set - strongly polar set - strongly reducible set - strongly separated set - strongly simple set - strongly stratified set- tame set- tautologically complete set - tautologically consistent set - tautologically inconsistent set- test set- thin set- tie set- time set- totally disconnected set - totally imperfect set - totally ordered set - totally primitive set - totally unimodular set - totally unordered set - truth-table reducible set - uniformly bounded set - uniformly continuous set - uniformly convergent set - uniformly integrable set - uniformly universal set - unilaterally connected set- unit set- vacuous set- void set- weakly compact set - weakly convex set - weakly n-dimensional set - weakly stratified set - weakly wandering set - well chained set - well founded set - well measurable set - well ordering set - well quasiordered set
См. также в других словарях:
Lorentz ether theory — What is now called Lorentz Ether theory ( LET ) has its roots in Hendrik Lorentz s Theory of electrons , which was the final point in the development of the classical aether theories at the end of the 19th and at the beginning of the 20th century … Wikipedia
Belief revision — is the process of changing beliefs to take into account a new piece of information. The logical formalization of belief revision is researched in philosophy, in databases, and in artificial intelligence for the design of rational agents.What… … Wikipedia
applied logic — Introduction the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… … Universalium
Raven paradox — The Raven paradox, also known as Hempel s paradox or Hempel s ravens is a paradox proposed by the German logician Carl Gustav Hempel in the 1940s to illustrate a problem where inductive logic violates intuition. It reveals the problem of… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
science, philosophy of — Branch of philosophy that attempts to elucidate the nature of scientific inquiry observational procedures, patterns of argument, methods of representation and calculation, metaphysical presuppositions and evaluate the grounds of their validity… … Universalium
Combinatory logic — Not to be confused with combinational logic, a topic in digital electronics. Combinatory logic is a notation introduced by Moses Schönfinkel and Haskell Curry to eliminate the need for variables in mathematical logic. It has more recently been… … Wikipedia
Temperature — This article is about the thermodynamic property. For other uses, see Temperature (disambiguation). A map of global long term monthly average surface air temperatures i … Wikipedia
Falsifiability — Are all swans white? Falsifiability or refutability of an assertion, hypothesis or theory is the logical possibility that it can be contradicted by an observation or the outcome of a physical experiment. That something is falsifiable does not… … Wikipedia
Whewell’s philosophy of science and ethics — Struan Jacobs ON SCIENCE Introduction Among the most prodigious of English minds of the nineteenth century, William Whewell (1794–1866) was at various times, and among other things, philosopher, intellectual historian, scientist, educationist,… … History of philosophy
Peter Singer — Infobox Philosopher region = Western Philosophy era = Contemporary philosophy color = #B0C4DE image caption = name = Peter Singer birth = birth date and age|1946|7|6 death = school tradition = Analytic· Utilitarianism main interests = Ethics… … Wikipedia